Nuprl Lemma : R-Dsys_wf
0,22
postcript
pdf
R
:Realizer. R-Feasible(
R
)
[[
R
]]
Dsys
latex
Definitions
t
T
,
x
:
A
.
B
(
x
)
Lemmas
es
realizer
wf
origin
R:Realizer. R-Feasible(R) 
[[R]] 
Dsys R:Realizer. R-Feasible(R) [[R]] Dsys Tx:A. B(x)